Semenov Alexandr A. «Backdoors in combinatorial problems and their probabilistic generalizations» // Applied Discrete Mathematics. Supplement 2022. №15 C.100-104
Gribanova I. A., Semenov A. A., Antonov K. V. «Generating additional constraints in algebraic cryptanalysis using sat oracles» // Applied Discrete Mathematics. Supplement 2021. №14 C.104-110
